Calculi for Synchrony and Asynchrony
نویسنده
چکیده
A calculus for distributed computation is studied, based upon four combinators. A ccntrai idea is an Abclian group of actions which models the interfaces between components of a distributed computing agent. Using a notion of bisimulation, congruence relations are defined over computing agents, and thence an algebraic theory is derived. The calculus models both synchronous and asvnchronous computation. In particular, it is shown that the author’s Calculus of Communicating Systems ( 1980). which is an asynchronous model, is derivable from the calculus presented here.
منابع مشابه
Forum Synchrony, asynchrony, and temporally random mating: a new method for analyzing breeding synchrony
Much research has focused on understanding breeding synchrony in animals and its relationship to such issues as mating systems and extrapair copulations in birds (Birkhead and Biggins, 1987; Emlen and Oring, 1977; Knowlton, 1979; Stutchbury and Morton, 1995). To empirically examine synchrony, one needs an appropriate measure of the degree of synchrony in a population. Kempenaers (1993) presente...
متن کاملParasitoid–host metapopulation dynamics: the causes and consequences of phenological asynchrony
1. The strength of interaction between the specialist parasitoid Cotesia melitaearum and the host butterfly Melitaea cinxia is influenced by the coincidence of the adult stage of the parasitoid with the larval stage of the host. 2. We show that there is great variation in this developmental synchrony among local populations and among years, ranging from complete synchrony to complete asynchrony...
متن کاملEnvironmental responses, not species interactions, determine species synchrony in natural plant communities
Temporal asynchrony among species helps1 diversity to stabilize ecosystem functioning, but identifying the mechanisms that determine synchrony remains a challenge. Here, we refine and test theory showing that synchrony depends on three factors: species responses to environmental variation, interspecific interactions, and demographic stochasticity. We then conduct simulation experiments with emp...
متن کاملDetection of Auditory-Visual Asynchrony in Speech and Nonspeech Signals
Two experiments were conducted to examine the temporal limitations on the detection of asynchrony in auditory-visual (AV) signals. Each participant made asynchrony judgments about speech and nonspeech signals presented over an 800-ms range of AV onset asynchronies. Consistent with previous findings, all conditions revealed a wide window of several hundred milliseconds over which AV signals were...
متن کاملAsynchrony and dyspnea.
Patient-ventilator synchrony and patient comfort are assumed to go hand in hand, yet few studies provide support for this common sense idea. In reality, synchrony between the patient and ventilator is complex and can be affected by the ventilator settings, type of ventilator, patient-ventilator interface, and sedation. Inspections of airway pressure and flow waveforms are reliable methods for d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Theor. Comput. Sci.
دوره 25 شماره
صفحات -
تاریخ انتشار 1983